Francisco Ayala's Documents

Francisco Ayala's Documents

All about Maude.. a high-performance logical framework

All about Maude.. a high-performance logical framework
Read more
Orthogonal Polynomials and their Applications

Orthogonal Polynomials and their Applications
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Read more
International Human Rights and Humanitarian Law: Treaties, Cases, and Analysis

International Human Rights and Humanitarian Law: Treaties, Cases, and Analysis
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Read more
Les emotions a l'ecole

Les emotions a l'ecole
Read more
Marine Ecosystems and Global Change

Marine Ecosystems and Global Change
Read more
Viet Nam at the Crossroads: The Role of Science and Technology

Viet Nam at the Crossroads: The Role of Science and Technology
Read more
3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)

3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)
Read more
Recomendaciones para el desarrollo y consolidación de la biotecnología en México

Recomendaciones para el desarrollo y consolidación de la biotecnología en México
Read more
Automata, Languages and Programming, 29 conf., ICALP 2002

Automata, Languages and Programming, 29 conf., ICALP 2002
Read more
Human Computer Interaction, Tourism and Cultural Heritage

Human Computer Interaction, Tourism and Cultural Heritage
Read more
Advances in Research in Karst Media (Environmental Earth Sciences)

Advances in Research in Karst Media (Environmental Earth Sciences)
Read more
Symbolic Analysis Techniques: Applications to Analog Design Automation

Symbolic Analysis Techniques: Applications to Analog Design Automation
Read more
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More

Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More
Read more
Approximation and Optimization: Proceedings of the International Seminar, held in Havana, Cuba, January 12-16, 1987

Approximation and Optimization: Proceedings of the International Seminar, held in Havana, Cuba, January 12-16, 1987
Read more
3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)

3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)
Read more
3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)

3D Spectroscopy in Astronomy (Canary Islands Winter School of Astrophysics)
Read more
Modern Optimization Modelling Techniques

Modern Optimization Modelling Techniques
Read more
Human-Induced Climate Change: An Interdisciplinary Assessment

Human-Induced Climate Change: An Interdisciplinary Assessment
Read more
Shifting Baselines: The Past and the Future of Ocean Fisheries

Shifting Baselines: The Past and the Future of Ocean Fisheries
Read more
Information Theory in Computer Vision and Pattern Recognition

Information Theory in Computer Vision and Pattern Recognition
Read more
Logica Computacional

Logica Computacional
Read more
Agenda Publica: Arquitectura, Ciudad y Desarrollo

Agenda Publica: Arquitectura, Ciudad y Desarrollo
Read more
Semiconductor-On-Insulator Materials for Nanoelectronics Applications

Semiconductor-On-Insulator Materials for Nanoelectronics Applications
Read more
Cognitive Linguistics: Internal Dynamics and Interdisciplinary Interaction (Cognitive Linguistics Research, 32)

Cognitive Linguistics: Internal Dynamics and Interdisciplinary Interaction (Cognitive Linguistics Research, 32)
Read more
¡Dímelo tu! : A Complete Course , Fifth Edition

¡Dímelo tu! : A Complete Course , Fifth Edition
Read more
Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions

Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions
Read more
Water and Sustainable Agriculture (SpringerBriefs in Agriculture)

Water and Sustainable Agriculture (SpringerBriefs in Agriculture)
Read more
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Read more